Computer-Aided Verification of Software Process Model Properties
نویسندگان
چکیده
In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the application domain of software process modeling. In this paperwe focus on the verification of static and dynamic software process model properties. We define some software process model properties and introduce the notion of coverability trees for FUNSOFT nets. Moreover, we discuss how a verification component for FUNSOFT nets is integrated into the software process management environment MELMAC.
منابع مشابه
Computer Aided Design of the Tube Hydroforming and Dual Hydroforming Processes
This paper presents a control model of the hydroforming and the dual hydroforming process of a tube. The theoretical part includes calculations to measure the change in tube thickness through the developed process. The hydroforming and the dual hydroforming processes are simulated in the SOLIDSIMULATION software and the static and the dynamic simulations are modeled. The obtained results for th...
متن کاملComputer Aided Design of the Tube Hydroforming and Dual Hydroforming Processes
This paper presents a control model of the hydroforming and the dual hydroforming process of a tube. The theoretical part includes calculations to measure the change in tube thickness through the developed process. The hydroforming and the dual hydroforming processes are simulated in the SOLIDSIMULATION software and the static and the dynamic simulations are modeled. The obtained results for th...
متن کاملClassifications and Properties of Materials for Chairside Computer-Aided Design/Computer-Aided Manufacturing Dentistry: A Review
Background and Aim: Chairside computer-aided design/computer-aided manufacturing (CAD/CAM) systems have become considerably more accurate, reliable, efficient, fast, and prevalent since 1985 when CEREC was introduced. The inceptive restorative material option for chairside CAD/CAM restorations was limited to ceramic blocks. Today, restorative material options have been multiplied and include me...
متن کاملComputer-aided dispatch system family architecture and verification: an integrated formal approach
Software architecture is an important level of description for software systems. Formal modelling techniques can be used to define and verify software architectures precisely. An integrated formal approach to the architecture modelling and verification of a computer-aided dispatch (CAD) system family, is presented. An incremental three-layer model, that is, architecture style layer, generic sys...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993